An Analysis of Some Aspects of Component-based Programming for Selecting Appropriate Categorical Structures as Their Models
نویسندگان
چکیده
Formal methods and formal models are important tools in software engineering. Formal methods provide unambiguous meaning of programs written in some language or constructed from modules. Moreover, they provide the basic mathematical techniques necessary for those who are working with theoretical background in computer science. Categories are interesting mathematical structures which have become important for constructing the models of programs and program systems. In this paper we formulate an introductory analysis of some aspects of component-based programming for selecting appropriate categorical structures as their models.
منابع مشابه
Measuring a Dynamic Efficiency Based on MONLP Model under DEA Control
Data envelopment analysis (DEA) is a common technique in measuring the relative efficiency of a set of decision making units (DMUs) with multiple inputs and multiple outputs. Standard DEA models are quite limited models, in the sense that they do not consider a DMU at different times. To resolve this problem, DEA models with dynamic structures have been proposed.In a recent pape...
متن کاملFailure Probability and Remaining Life Assessment of Reheater Tubes
In this study, a real and significant industrial problem in a steam power plant was investigated. Reheater tubes in boilers are under the creep and the fireside corrosion mechanism that cause some of them to fail. Since the estimation of probability of failure (PoF) and remaining life (RL) is expensive and time consuming in the deterministic methods, in this work they were evaluated using struc...
متن کاملAnalytical aspects of the interval unilateral quadratic matrix equations and their united solution sets
This paper introduces the emph{interval unilateral quadratic matrix equation}, $IUQe$ and attempts to find various analytical results on its AE-solution sets in which $A,B$ and $CCC$ are known real interval matrices, while $X$ is an unknown matrix. These results are derived from a generalization of some results of Shary. We also give sufficient conditions for non-emptiness of some quasi-solutio...
متن کاملAppropriate Loading Techniques in Finite Element Analysis of Underground Structures
Stability of underground structures is assessed by comparing rock strength with induced stresses resulted from ground stresses. Rock mass surrounding the opening may fail either by fracture or excessive deformation caused. Accurate calculation of induced stresses is therefore fundamental in the stability analysis of an opening. Although numerical methods, particularly finite element method, are...
متن کاملA Model for Project Selecting with Limited Resources in Data Envelopment Analysis with Input and Output Fuzzy
In Evaluating Performance, Selecting a Subset from a Set of Solutions with Limited Resources is Essential. If There Is More Than One Input and Output, the Data Rnvelopment Analysis Optimization Models Are Evaluated and Performance Measurement Based on the Weighted Output Is Divided Weighted Input. In This Research, Two Models of Optimization with Limited Resources Present from Data Envelopment ...
متن کامل